Relationships , Objects , Roles , and Queries in Modern Programming Languages Dagstuhl Seminar
نویسندگان
چکیده
From 11/04/10 to 16/04/10, the Dagstuhl Seminar 10152 Relationships, Objects, Roles, and Queries in Modern Programming Languages was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Formalising Bitonic Sort using Dependt Types
From 12.09.04 to 17.09.04, the Dagstuhl Seminar 04381 Dependently Typed Programming was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ...
متن کاملDagstuhl Seminar 13142 Correct and Efficient Accelerator Programming
This report documents the program and the outcomes of Dagstuhl Seminar 13142 “Correct and Efficient Accelerator Programming”. The aim of this Dagstuhl seminar was to bring together researchers from various sub-disciplines of computer science to brainstorm and discuss the theoretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming....
متن کاملDagstuhl Seminar 17051 Theory and Applications of Behavioural Types
This report documents the programme and the outcomes of Dagstuhl Seminar 17051 “Theory and Applications of Behavioural Types”. Behavioural types describe the dynamic aspects of programs, in contrast to data types, which describe the fixed structure of data. Perhaps the most well-known form of behavioural types is session types, which are type-theoretic specifications of communication protocols....
متن کاملComputing Media and Languages for Space-Oriented Computation Dagstuhl Seminar
From 03.09.06 to 08.09.06, the Dagstuhl Seminar 06361 Computing Media and Languages for Space-Oriented Computation was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as ab...
متن کاملFoundations for Scripting Languages (Dagstuhl Seminar 12011)
This report documents the program and the outcomes of Dagstuhl Seminar 12011 on the “Foundations for Scripting Languages”. The choice of “for” rather than “of” is intentional: it is our thesis that scripting languages are in need of foundations to support their extensive use but lack them, and we hope this event consolidated and advanced the state of the art in this direction. Seminar 02.–06. J...
متن کامل